Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
561	[removed]Vol. 10, Ch 7, Sec 1 Add to Reading List Source URL: fsims.faa.gov Language: English - Date: 2014-12-01 19:01:26 Systems engineering Food safety Quality management Verification and validation Software development process Validation Type certificate Knowledge Pharmaceutical industry Validity Science
562	Formally Verifying Human-automation Interaction with Specification Properties Generated from Task Analytic Models Add to Reading List Source URL: iaassconference2013.space-safety.org Language: English - Date: 2013-06-23 12:43:35 Applied mathematics Knowledge Software engineering Model checking Verification Formal verification Human factors Formal specification Software development process Formal methods Science Systems engineering
563	DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2002-12-20 10:55:12 Software Polyspace Science Embedded systems Model checking Software verification Abstract interpretation Worst-case execution time Software development process Software development Software testing Formal methods
564	All My Papers and Intactis Software Inc. form Strategic Business Partnership All My Papers forms partnership with Intactis Software to provide MICR verification and IRD printer management technology for Intactis’ Check Add to Reading List Source URL: www.allmypapers.com Language: English - Date: 2014-10-20 20:40:59 Money Federal Reserve Typography Office equipment Automatic identification and data capture Substitute check Magnetic ink character recognition Check 21 Act Remote deposit Business Payment systems Finance
565	Solution Brief Understanding Data Verification and Disaster Recovery Using Barracuda Cloud LiveBoot Recovery The amount of time it takes to get your organization up and running after a disaster is the key Add to Reading List Source URL: www.barracuda.com Language: English - Date: 2014-08-04 15:04:46 Computer security Backup Barracuda Networks Disaster recovery Replication Comparison of online backup services Cloud backup Computing Backup software System software
566	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein −→ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Computer law Copyleft Logic in computer science Mathematical logic Rewriting Confluence Lambda calculus Transitive closure Theoretical computer science Mathematics Applied mathematics
567	Tolerating Hardware Device Failures in Software Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-10-12 16:19:00 Device driver Interrupt storm Kernel Ioctl Firmware Device drivers Device driver synthesis and verification Computer architecture Computing System software
568	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein more Isar Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer law Intellectual property law Mathematical logic Science Creative Commons Free music Attribution Copyright Mathematical induction Open content Copyleft Law
569	Model Checking A Hands-On Introduction Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 NuSMV Software Logic in computer science Model checking Formal verification Model theory Temporal logic FO Theoretical computer science Model checkers Applied mathematics
570	Product Overview Software Technology Tool Qualification Support Pack® A compliance data package that is used for the qualification of LDRA verification tools Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:19 Technology Software requirements Evaluation Embedded systems Computing DO-178C Verification and validation Verification Validation Systems engineering Pharmaceutical industry Validity

UPDATE